% General commands
\renewcommand{\labelitemi}{$-$}

\newcommand{\comment}[1]{\marginpar{\color{red}\tiny #1}}
\newcommand{\todo}[1]{{ \color{red} Todo: #1}}

\newcommand{\change}[1]{{ \color{red} \bf #1 }}

\newcommand{\ie}{i.e., }
\newcommand{\norcause}[3]{[#1] ~ #2 \circleright #3}
\newcommand{\percause}[3]{[#1] ~ #2 \circledotright #3}


% Petri net
\newcommand{\Pclock}{q_c}
\newcommand{\nat}{\mathbb{N}}
\newcommand{\tuple}[1]{\langle #1 \rangle}
\newcommand{\pre}[1]{ {^{\bullet}#1}}
\newcommand{\post}[1]{#1^{\bullet}}
\newcommand{\firing}[4]{#1[ {#2}{:}  #3{\rangle} #4}


%Reaction systems
\newcommand{\rnd}{\ensuremath{\mathtt{RaNDy}}\xspace}
\newcommand{\rsd}{\rnd}

\newcommand{\res}{\ensuremath{\mathcal{S}}\xspace}
\newcommand{\RS}{\ensuremath{\mathcal{R}}\xspace}
\newcommand{\rndnet}{\ensuremath{\mathcal{N}}\xspace}
\newcommand{\dur}{\Delta\xspace}
\newcommand{\life}{\delta}

\newcommand{\sub}[2]{\{\raisebox{.5ex}{\small$#1$}\! / \mbox{\small$#2$}\}}

\newcommand{\birth}{\lambda}
\newcommand{\refr}{u}
\newcommand{\lev}{l}
\newcommand{\bool}{\lev}

\newcommand{\setlev}{\mathcal{L}}

\newcommand{\level}[1]{\eta_{#1}}

\newcommand{\inc}[2]{\mathsf{inc}_{#1}(#2)}


%Logic
\newcommand{\until}{\mathbf{U}}
\newcommand{\globally}{\mathbf{G}}
\newcommand{\esiste}{\mathbf{E}}
\newcommand{\x}{\mathbf{X}}
\newcommand{\all}{\mathbf{A}}
\newcommand{\finally}{\mathbf{F}}
\newcommand{\true}{\mathbf{true}}
\newcommand{\enc}[1]{\llbracket #1 \rrbracket}
\newcommand{\lab}{\ensuremath{\mathcal{B}}\xspace}


